body {
    margin: 0 1ex 0;
    font-family: sans-serif;
    color: #505050;
    background-color: #f5faf7;
}
.header, .footer {
    margin: 0 -1ex;
    padding: 0.5ex 0 0.5ex;
    border: 1px solid black;
    color: black;
    background-color: #97baa3;
}
h4 {margin-bottom: 0}
p, dt {margin: 0 3ex; text-indent: -1ex}
ol {margin: 0 2ex; padding: 0}
li {margin-bottom: 1ex; list-style-position: inside}
dl {margin: 0 auto}
dt {font-weight: bolder}
pre {margin: 0.5ex 3ex; color: black}
.aside {margin: 1ex 6ex; font-size: 75%; text-indent: 0}
